Non-deterministic Effects in a Realizability Model
نویسندگان
چکیده
منابع مشابه
A Relational Model of Non-deterministic Dataflow
We recast dataflow in a modern categorical light using profunctors as a generalisation of relations. The well known causal anomalies associated with relational semantics of indeterminate dataflow are avoided, but still we preserve much of the intuitions of a relational model. The development fits with the view of categories of models for concurrency and the general treatment of bisimulation the...
متن کاملNon-Deterministic Planning With Conditional Effects
Recent advances in fully observable non-deterministic (FOND) planning have enabled new techniques for various applications, such as behaviour composition, among others. One key limitation of modern FOND planners is their lack of native support for conditional effects. In this paper we describe an extension to PRP, the current state of the art in FOND planning, that supports the generation of po...
متن کاملCan a Model Checker Generate Tests for Non-Deterministic Systems?
Modern software is increasingly concurrent, timed, distributed, and therefore, non-deterministic. While it is well known that tests can be generated as LTL or CTL model checker counterexamples, we argue that non-determinism creates difficulties that need to be resolved and propose test generation methods to overcome them. The proposed methods rely on fault modeling by mutation and use conventio...
متن کاملVarinace-Based Sensitivity Analysis of Deterministic Model
The study of many scientific and natural phenomena in laboratory condition is sometimes impossible, therefore theire expresed by mathemathical models and simulated by complex computer models (codes). Running a computer model with different inputs is called a computer expriment. Statistical issues allocated a wide range of applications for computer expriment to itself. In this paper, ...
متن کاملWalking Robot: A Non-Deterministic Model Of Control
The development of a model of motion control for walking robots is reported. The goal of the project is the elaboration of methods to construct the tree main levels of a control system of the robot's motion and a program complex to realise the robot's behaviour simulation in complex topography. A notable amount of achievements has been reached by now in developing the model of behaviour control...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2018
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2018.03.029